let f ([<A>] (a as b)) = ()